Compositional Cyber-Physical Systems Modeling
نویسندگان
چکیده
منابع مشابه
Compositional Modeling of Physical Systems
Automating analysis of physical systems requires techniques for managing complexity and finding an appropriate model for an analysis . Compositional modeling is a strategy for organizing multi-grain, multi-perspective models of physical phenomena which addresses these problems . In this paper, we identify several limitations with the approach presented in [7] and describe important extensions t...
متن کاملCompositional Falsification of Cyber-Physical Systems with Machine Learning Components
Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on properties of the inner ML modules. While learning algorithms aim to generalize from examples, they are only as good as the examples provided, and recent efforts have shown that they can produce inconsistent output under small...
متن کاملCompositional Design of Cyber-Physical Systems Using Contracts
Compositional Design of Cyber-Physical Systems Using Contracts
متن کاملMARTE/CCSL for Modeling Cyber-Physical Systems
Cyber Physical Systems (CPS) combine digital computational systems with surrounding physical processes. Computations are meant to control and monitor the physical environment, which in turn affects the computations. The intrinsic heterogeneity of CPS demands the integration of diverse models to cover the different aspects of systems. The UML proposes a great variety of models and is very common...
متن کاملModeling Opportunities in mHealth Cyber-Physical Systems
Cyber-physical systems, with their focus on creating closed-loop systems, have transformed a wide range of areas (e.g., flight systems, industrial plants, robotics, etc.). However, even after a century of health research we still W. Nilsen ( ) National Science Foundation, Arlington, VA, USA e-mail: [email protected] E. Ertin The Ohio State University, Columbus, OH, USA e-mail: [email protected] E.B...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2021
ISSN: 2075-2180
DOI: 10.4204/eptcs.333.9